DisCSP.DistributedCSP
Class MonitorServerThread

java.lang.Object
  java.lang.Thread
      DisCSP.DistributedCSP.MonitorServerThread

All Implemented Interfaces:

java.lang.Runnable

class MonitorServerThread

extends java.lang.Thread

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

MonitorServerThread(java.net.Socket s, AgentDescriptor[] ag, MonitorState st, java.io.PrintStream ps)
Costruttore di MonitorServerThread

Method Summary

void	run() Metodo run del Thread

Methods inherited from class java.lang.Thread

activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getContextClassLoader, getName, getPriority, getThreadGroup, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setName, setPriority, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

MonitorServerThread

public MonitorServerThread(java.net.Socket s,
                           AgentDescriptor[] ag,
                           MonitorState st,
                           java.io.PrintStream ps)
                    throws java.io.IOException

Costruttore di MonitorServerThread

Parameters:

s - la socket

ag - i descrittori degli agenti

st - lo stato del Monitor

ps - il PrintStream su cui direzionare l'output

Method Detail

run

public void run()

Metodo run del Thread